docs: Use the same name in different files
authorBenjamin Otte <otte@redhat.com>
Thu, 21 Feb 2019 19:42:38 +0000 (20:42 +0100)
committerBenjamin Otte <otte@redhat.com>
Thu, 21 Feb 2019 19:44:17 +0000 (20:44 +0100)
commitdfc16736538d03630802da186285dd19232294d4
tree5347be51664d35e5fedc0bfa1cd21181fd8ad8ac
parentb64f852d60fad33d04e183df312a0d41c3f1b599
docs: Use the same name in different files

Otherwise gtk-doc gets confused.
docs/reference/gtk/gtk4-sections.txt